Destructuring

Special form


\begin{inset}{} {\it Specs\/} has the form {\mbox {\tt (({\it pattern value\/}) ... ...\ \ldots\ ) \end{codexenv}The {\tt ()}'s notate ignored positions. \end{inset}

Special form


\begin{inset}{} {\tt DESTRUCTURE*} is the \lq\lq serial'' form of {\tt DESTRUCTURE}, ... ...ue$_{\hbox{n}}$\/})) \+ \\ {\it code\/} )\ldots\ )) \end{tabbing}} \end{inset}